$\mathbb{N}^{+}$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$i$:$\mathbb{Z}\mid$ 0 $<$ $i$\}